<html>
<head><meta charset="utf-8"><title>case insensitive RFC rust-lang/rfcs#3097 · rustdoc · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/index.html">rustdoc</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html">case insensitive RFC rust-lang/rfcs#3097</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="232445467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232445467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232445467">(Mar 30 2021 at 15:28)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="210316">@GuillaumeGomez</span> <span class="user-mention" data-user-id="232545">@Joshua Nelson</span> perhaps we should chat here?</p>



<a name="232445515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232445515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232445515">(Mar 30 2021 at 15:29)</a>:</h4>
<p>Firstly I think the RFC is super incomplete as it stands; an RFC is a work of technical communication and in its status quo it communicates very little</p>



<a name="232445537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232445537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232445537">(Mar 30 2021 at 15:29)</a>:</h4>
<p>but i think we should discuss this as a team and perhaps draft an RFC together</p>



<a name="232445623"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232445623" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232445623">(Mar 30 2021 at 15:29)</a>:</h4>
<p>i mean it's fine if you want to write your own RFC but right now i'm going to have a very hard time supporting it, and I think core might have an opinion on the breakage too (which it gets to, because this is a product concern), so you'd need to convince core that this is okay</p>



<a name="232445712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232445712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232445712">(Mar 30 2021 at 15:30)</a>:</h4>
<p>and i don't think discussing this over the rfc is productive</p>



<a name="232445742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232445742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232445742">(Mar 30 2021 at 15:30)</a>:</h4>
<p>but i can explain my stance better here</p>



<a name="232446394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232446394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232446394">(Mar 30 2021 at 15:34)</a>:</h4>
<p>Ah right, we were discussing it on discord with kinnison. But things were a bit too rushed I think... We were very happy about the solution we came up with haha</p>



<a name="232446479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232446479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232446479">(Mar 30 2021 at 15:34)</a>:</h4>
<p>So I definitely agree to draft a RFC together</p>



<a name="232446880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232446880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232446880">(Mar 30 2021 at 15:37)</a>:</h4>
<p>Wanna go ahead and close it?</p>



<a name="232446903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232446903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232446903">(Mar 30 2021 at 15:37)</a>:</h4>
<p>I can hackmd a draft</p>



<a name="232446920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232446920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232446920">(Mar 30 2021 at 15:37)</a>:</h4>
<p>it will be incomplete</p>



<a name="232446937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232446937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232446937">(Mar 30 2021 at 15:37)</a>:</h4>
<p>Well writing a draft or anything, we have to agree on what to propose, no?</p>



<a name="232446989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232446989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232446989">(Mar 30 2021 at 15:38)</a>:</h4>
<p>because I don't agree with the solution you suggested</p>



<a name="232447053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232447053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232447053">(Mar 30 2021 at 15:38)</a>:</h4>
<p>Closing the RFC in the meatime.</p>



<a name="232447086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232447086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232447086">(Mar 30 2021 at 15:38)</a>:</h4>
<p>Right</p>



<a name="232447107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232447107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232447107">(Mar 30 2021 at 15:38)</a>:</h4>
<p>I meant that I would draft it up so that we can discuss it better</p>



<a name="232447143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232447143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232447143">(Mar 30 2021 at 15:39)</a>:</h4>
<p>But okay, can you dig into why you disagree with my solution?</p>



<a name="232447174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232447174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232447174">(Mar 30 2021 at 15:39)</a>:</h4>
<p>Because so far it seems like you have assumed it works like your previous PR and it doesn't</p>



<a name="232447185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232447185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232447185">(Mar 30 2021 at 15:39)</a>:</h4>
<p>I can explain it better if you'd like</p>



<a name="232447213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232447213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232447213">(Mar 30 2021 at 15:39)</a>:</h4>
<p>Please do :)</p>



<a name="232448568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232448568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232448568">(Mar 30 2021 at 15:48)</a>:</h4>
<p>If the solution you're talking about is the disambiguator, as I understood it, you provide a simple file which contains link to the items. However, this file cannot cover all the original items' URL on case sensitive FS, it would be only on case insensitive FS</p>



<a name="232448625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232448625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232448625">(Mar 30 2021 at 15:48)</a>:</h4>
<p>No my solution is more nuanced</p>



<a name="232448659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232448659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232448659">(Mar 30 2021 at 15:49)</a>:</h4>
<p>My solution enables us to _not have to come up with a perfect solution_</p>



<a name="232448732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232448732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232448732">(Mar 30 2021 at 15:49)</a>:</h4>
<p>Okay so the basic principle behind my proposal is that clashes are _bad_ and should be avoided. Rustdoc will handle clashes _sensibly_, but not _perfectly_.</p>
<p>We provide <code>#[doc(filename = "FooBarBaz")]</code> so that people can fix clashes. This makes the filename <code>struct.FooBarBaz.html</code> (we can also compiler error if you use doc(filename) to introduce a _new_ clash)</p>
<p>We lint about clashes, and mention the downsides. The downsides include that the URL might not be stable if other clashes are introduced or removed.</p>
<p>Now, crates with clashes are nudged towards using doc(filename). Great! This means we can try to handle them sensibly but not perfectly.</p>
<p>My "sensible" handling is this. Assume we have foo, Foo, and FOO as structs</p>
<ul>
<li>Emit the lint I described earlier, of course</li>
<li>Name them struct.foo-1.html, struct.Foo-2.html, struct.FOO-3.html</li>
<li>Generate struct.Foo.html (in Titlecase because it is a struct). All it does is have three links in it saying "Foo can refer to foo, Foo, or FOO". No JS.</li>
</ul>
<p>This is unstable, but we are warning users about the instability. Their docs are broken already, so this does not make them _more_ broken. Some of their links will be broken, but again, they were kinda broken already.</p>
<p>This has tightly scoped impact, which is really nice.</p>



<a name="232448949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232448949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232448949">(Mar 30 2021 at 15:50)</a>:</h4>
<p>Ok, so I understood it correctly. So you suggest to ask users to go around rustdoc limitations because you don't want the URL scheme to be changed. I really can't agree with that :-/</p>



<a name="232449053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232449053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232449053">(Mar 30 2021 at 15:51)</a>:</h4>
<p>Also, it would be incoherent between case sensitive and insensitive FS</p>



<a name="232449198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232449198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232449198">(Mar 30 2021 at 15:52)</a>:</h4>
<p>the first one would only get access to "struct.Foo.html" whereas the other would have access to all the original URLs (even though it only bring to the disambiguator file)</p>



<a name="232449536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232449536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232449536">(Mar 30 2021 at 15:54)</a>:</h4>
<p>Wait why would it be incoherent between filesystems? The filenames are all different</p>



<a name="232449559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232449559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232449559">(Mar 30 2021 at 15:54)</a>:</h4>
<p><span class="user-mention silent" data-user-id="210316">GuillaumeGomez</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232449198">said</a>:</p>
<blockquote>
<p>the first one would only get access to "struct.Foo.html" whereas the other would have access to all the original URLs (even though it only bring to the disambiguator file)</p>
</blockquote>
<p>I think <span class="user-mention" data-user-id="132040">@Manish Goregaokar</span> is suggesting that we <em>only</em> generate <code>struct.Foo.html</code>, not <code>struct.foo.html</code></p>



<a name="232449626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232449626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232449626">(Mar 30 2021 at 15:54)</a>:</h4>
<p>which is a slight regression from the perspective of case-sensitive file systems, but seems ok to me if it fixes other problems</p>



<a name="232449634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232449634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232449634">(Mar 30 2021 at 15:54)</a>:</h4>
<p>I don't htink it's a workaround either! I think this is the right fix -- I would rather have _users_ figure out how best to disambiguate than have _us_ randomply pick a scheme</p>



<a name="232449713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232449713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232449713">(Mar 30 2021 at 15:55)</a>:</h4>
<p>like the current proposal _also_ is a workaround -- it picks an arbitrary scheme for disambiguation -- this gives the user control over how to disambiguate</p>



<a name="232449828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232449828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232449828">(Mar 30 2021 at 15:55)</a>:</h4>
<p>this isn't a rustdoc limitation, this is a limitation of case insensitive FS. Either rustdoc works around it by picking an arbitrary scheme, or we let users have the power to decide how to fix it (and we provide a _sensible_ but not _perfect_ default)</p>



<a name="232449994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232449994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232449994">(Mar 30 2021 at 15:56)</a>:</h4>
<p>Also, it's not just "you don't want the URL scheme to be changed"; I think a _lot_ of people don't, and I think we should start considering this as a hard boundary because I'm like 50% sure core will want to get involved if there are breakages like this.</p>



<a name="232450132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232450132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232450132">(Mar 30 2021 at 15:57)</a>:</h4>
<p><span class="user-mention silent" data-user-id="132040">Manish Goregaokar</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232449994">said</a>:</p>
<blockquote>
<p>Also, it's not just "you don't want the URL scheme to be changed"; I think a _lot_ of people don't, and I think we should start considering this as a hard boundary because I'm like 50% sure core will want to get involved if there are breakages like this.</p>
</blockquote>
<p>I mean, this makes sense and I believe you, but it makes me really frustrated because the current URL scheme was never intended to be stable :/</p>



<a name="232450135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232450135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232450135">(Mar 30 2021 at 15:57)</a>:</h4>
<p>I'm taking it as a hard constraint because I know that Rust cares a lot about stability and docs and I think multiple core team members, multiple devtools team members, and many others would be against this</p>



<a name="232450193"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232450193" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232450193">(Mar 30 2021 at 15:57)</a>:</h4>
<p><span class="user-mention" data-user-id="232545">@Joshua Nelson</span> Yeah I'm frustrated too, but I think breaking links across the internet is a huge concern</p>



<a name="232450343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232450343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232450343">(Mar 30 2021 at 15:58)</a>:</h4>
<p>Unfortunately when rust stabilized rustdoc did not get much love</p>



<a name="232450352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232450352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232450352">(Mar 30 2021 at 15:58)</a>:</h4>
<p>we work with what we have</p>



<a name="232450385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232450385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232450385">(Mar 30 2021 at 15:58)</a>:</h4>
<p>don't I know it lol</p>



<a name="232450425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232450425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232450425">(Mar 30 2021 at 15:59)</a>:</h4>
<p>/me goes back to vainly trying to make <code>get_blanket_impls</code> faster</p>



<a name="232450429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232450429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232450429">(Mar 30 2021 at 15:59)</a>:</h4>
<p>I think improving the scheme is on the table with redirects and such</p>



<a name="232451362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451362">(Mar 30 2021 at 16:03)</a>:</h4>
<p><span class="user-mention silent" data-user-id="132040">Manish Goregaokar</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232449536">said</a>:</p>
<blockquote>
<p>Wait why would it be incoherent between filesystems? The filenames are all different</p>
</blockquote>
<p>They are, but <code>foo.html</code>, <code>Foo.html</code> and <code>FOO.html</code> are all the same on case insensitive FS</p>



<a name="232451512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451512">(Mar 30 2021 at 16:04)</a>:</h4>
<p>Any solution we came up with until now makes the situation on case sensitive FS worse. I don't see how we can justify that</p>



<a name="232451660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451660">(Mar 30 2021 at 16:05)</a>:</h4>
<p><span class="user-mention" data-user-id="210316">@GuillaumeGomez</span> we would not generate those three files, only one</p>



<a name="232451689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451689">(Mar 30 2021 at 16:05)</a>:</h4>
<p>Please read the proposal again</p>



<a name="232451749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451749">(Mar 30 2021 at 16:06)</a>:</h4>
<p>And I repeat once again</p>



<a name="232451754"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451754" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451754">(Mar 30 2021 at 16:06)</a>:</h4>
<blockquote>
<p>Name them struct.foo-1.html, struct.Foo-2.html, struct.FOO-3.html</p>
</blockquote>



<a name="232451794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451794">(Mar 30 2021 at 16:06)</a>:</h4>
<blockquote>
<p>Generate struct.Foo.html (in Titlecase because it is a struct). All it does is have three links in it saying "Foo can refer to foo, Foo, or FOO". No JS.</p>
</blockquote>



<a name="232451813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451813">(Mar 30 2021 at 16:06)</a>:</h4>
<p>those are the four files we generate</p>



<a name="232451827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451827">(Mar 30 2021 at 16:06)</a>:</h4>
<p>when you access the URL <code>struct.Foo.html</code> or <code>struct.FOO.html</code> on case insensitive FS, it's the same file</p>



<a name="232451837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451837">(Mar 30 2021 at 16:06)</a>:</h4>
<p>I know</p>



<a name="232451859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451859">(Mar 30 2021 at 16:06)</a>:</h4>
<p>which isn't the same on case sensitive FS</p>



<a name="232451887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451887">(Mar 30 2021 at 16:07)</a>:</h4>
<p>I don't see the problem</p>



<a name="232451920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451920">(Mar 30 2021 at 16:07)</a>:</h4>
<p>so if we create a disambiguator file instead of having the original files, it means some URLs will stop working</p>



<a name="232451968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451968">(Mar 30 2021 at 16:07)</a>:</h4>
<p>for crates which were broken already -- i don't see the problem</p>



<a name="232451986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232451986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232451986">(Mar 30 2021 at 16:07)</a>:</h4>
<p>but only on case sensitive FS (they will still work on case insensitive FS)</p>



<a name="232452005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452005">(Mar 30 2021 at 16:07)</a>:</h4>
<p>again, i don't see the problem, they were broken already</p>



<a name="232452012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452012">(Mar 30 2021 at 16:08)</a>:</h4>
<p>they were broken ONLY on case insensitive, not on case sensitive</p>



<a name="232452064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452064">(Mar 30 2021 at 16:08)</a>:</h4>
<p>okay, fair</p>



<a name="232452073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452073">(Mar 30 2021 at 16:08)</a>:</h4>
<p>you are just reverting the issue</p>



<a name="232452105"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452105" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452105">(Mar 30 2021 at 16:08)</a>:</h4>
<p>that seems like a minor concern? Your proposal breaks URLs for _everyone_. Mine breaks URLs for folks who were somewhat broken arleady</p>



<a name="232452131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452131">(Mar 30 2021 at 16:08)</a>:</h4>
<p>And we warn about it so that they can choose the best solution that works for them</p>



<a name="232452143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452143">(Mar 30 2021 at 16:08)</a>:</h4>
<p>personally I object to calling this breaking the URL</p>



<a name="232452209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452209">(Mar 30 2021 at 16:09)</a>:</h4>
<p>except in the sense of "rustdoc can't change URLs because apparently the path itself is stable by accident"</p>



<a name="232452248"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452248" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452248">(Mar 30 2021 at 16:09)</a>:</h4>
<p>there's no links to it, there's no conflicts</p>



<a name="232452254"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452254" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452254">(Mar 30 2021 at 16:09)</a>:</h4>
<p>It's changing the scheme and fixing the current conflitcs, not breaking URLs</p>



<a name="232452280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452280">(Mar 30 2021 at 16:09)</a>:</h4>
<p>???</p>



<a name="232452311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452311">(Mar 30 2021 at 16:09)</a>:</h4>
<p>yeah for local FS stuff there are no links either</p>



<a name="232452377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452377">(Mar 30 2021 at 16:10)</a>:</h4>
<p>but linux is sensitive so most hosted docs are also sensitive</p>



<a name="232452382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452382">(Mar 30 2021 at 16:10)</a>:</h4>
<p><span class="user-mention silent" data-user-id="132040">Manish Goregaokar</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232452311">said</a>:</p>
<blockquote>
<p>yeah for local FS stuff there are no links either</p>
</blockquote>
<p>there are <em>absolutely</em> links to it, rustdoc generates the links</p>



<a name="232452405"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452405" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452405">(Mar 30 2021 at 16:10)</a>:</h4>
<p>they're just within the doc instead of external</p>



<a name="232452416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452416">(Mar 30 2021 at 16:10)</a>:</h4>
<p>euh no, linux is sensitive ;)</p>



<a name="232452439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452439">(Mar 30 2021 at 16:10)</a>:</h4>
<p>sorry mistype</p>



<a name="232452498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452498">(Mar 30 2021 at 16:10)</a>:</h4>
<p>let's game this out</p>



<a name="232452537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452537">(Mar 30 2021 at 16:11)</a>:</h4>
<p>let's say you have foo Foo and FOO</p>



<a name="232452554"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452554" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452554">(Mar 30 2021 at 16:11)</a>:</h4>
<p>previously there were three files on linux</p>



<a name="232452561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452561">(Mar 30 2021 at 16:11)</a>:</h4>
<p>and it was broken on mac/win</p>



<a name="232452575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452575">(Mar 30 2021 at 16:11)</a>:</h4>
<p>and only one on windows</p>



<a name="232452591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452591">(Mar 30 2021 at 16:11)</a>:</h4>
<p>(and mac)</p>



<a name="232452847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452847">(Mar 30 2021 at 16:12)</a>:</h4>
<p>(because they overwrite each others as you may have guessed)</p>



<a name="232452851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452851">(Mar 30 2021 at 16:13)</a>:</h4>
<p>with my change, you have struct.Foo.html _only_ on linux (as I said, we should generate the disambiguation page in titlecase for structs, but we could also do lowercase),  and plus foo-1 Foo-2 and FOO-3.<br>
mac/win are unbroken</p>
<p>the breakage is that old links to <a href="http://struct.foo">struct.foo</a> and struct.FOO are broken</p>



<a name="232452894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452894">(Mar 30 2021 at 16:13)</a>:</h4>
<p>that seems exceedingly minor compared to breaking all the links, no?</p>



<a name="232452972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232452972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232452972">(Mar 30 2021 at 16:13)</a>:</h4>
<p>no, it's exactly the same problem</p>



<a name="232453025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453025">(Mar 30 2021 at 16:14)</a>:</h4>
<p>you just reverted it and generated one extra file</p>



<a name="232453054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453054">(Mar 30 2021 at 16:14)</a>:</h4>
<p>I don't understand why you say that</p>



<a name="232453063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453063">(Mar 30 2021 at 16:14)</a>:</h4>
<p>there are no more file conflicts</p>



<a name="232453121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453121">(Mar 30 2021 at 16:14)</a>:</h4>
<p>there are <em>fewer</em> links that work than before, but that's it</p>



<a name="232453140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453140">(Mar 30 2021 at 16:14)</a>:</h4>
<p>But then, on linux when you go to <code>struct.Foo.html</code> or <code>struct.FOO.html</code>, you'll get 404 whereas it'll work on windows/mac</p>



<a name="232453162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453162">(Mar 30 2021 at 16:14)</a>:</h4>
<p>yes? I don't see the issue here</p>



<a name="232453164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453164">(Mar 30 2021 at 16:14)</a>:</h4>
<p>which is exactly the issue we're trying to solve</p>



<a name="232453218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453218">(Mar 30 2021 at 16:15)</a>:</h4>
<p>ok let's take a second to agree on the issue we're trying to solve</p>



<a name="232453308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453308">(Mar 30 2021 at 16:15)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/25879">https://github.com/rust-lang/rust/issues/25879</a> says</p>
<blockquote>
<p>pages are being overwritten on the file systems with case-insensetive names</p>
</blockquote>



<a name="232453353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453353">(Mar 30 2021 at 16:16)</a>:</h4>
<p>this is different from "the set of links that work on Mac is different from the set that works on Linux"</p>



<a name="232453404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453404">(Mar 30 2021 at 16:16)</a>:</h4>
<p>thanks joshua</p>



<a name="232453413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453413">(Mar 30 2021 at 16:16)</a>:</h4>
<p>some pages <em>don't exist at all because rustdoc deleted them</em></p>



<a name="232453451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453451">(Mar 30 2021 at 16:16)</a>:</h4>
<p>the set of links that works on Mac will _always_ be different</p>



<a name="232453510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453510">(Mar 30 2021 at 16:16)</a>:</h4>
<p>it will be larger. always. we cannot fix this, this is how the os works.</p>



<a name="232453622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453622">(Mar 30 2021 at 16:17)</a>:</h4>
<p>Well, it seems like I can't convince you. You want to keep the URL scheme (which I understand), but by doing that, you will worsen the user experience for all linux users.</p>



<a name="232453637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453637">(Mar 30 2021 at 16:17)</a>:</h4>
<p>I don't see how we can be satisfied with that</p>



<a name="232453771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453771">(Mar 30 2021 at 16:18)</a>:</h4>
<p>I don't see why you think this is a worse user experience</p>



<a name="232453806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453806">(Mar 30 2021 at 16:19)</a>:</h4>
<p>the URL scheme is the only way for us to fix this issue for everyone, whatever the FS. If you have better suggestion on how to change it better, I'm all for it. But generating a disambiguator is really not great imo</p>



<a name="232453841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453841">(Mar 30 2021 at 16:19)</a>:</h4>
<blockquote>
<p>But generating a disambiguator is really not great imo</p>
</blockquote>
<p>could you <em>please</em> explain why</p>



<a name="232453889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453889">(Mar 30 2021 at 16:19)</a>:</h4>
<p>I did multiple times already</p>



<a name="232453922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232453922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232453922">(Mar 30 2021 at 16:19)</a>:</h4>
<p>URLs stop working the same on conflicted items in linux</p>



<a name="232454000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454000">(Mar 30 2021 at 16:20)</a>:</h4>
<p><span class="user-mention silent" data-user-id="210316">GuillaumeGomez</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232453140">said</a>:</p>
<blockquote>
<p>But then, on linux when you go to <code>struct.Foo.html</code> or <code>struct.FOO.html</code>, you'll get 404 whereas it'll work on windows/mac</p>
</blockquote>
<p>^ ok you mean this</p>



<a name="232454021"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454021" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454021">(Mar 30 2021 at 16:20)</a>:</h4>
<p>I don't see why this is a worse user experience</p>



<a name="232454038"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454038" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454038">(Mar 30 2021 at 16:20)</a>:</h4>
<p>because it was working before</p>



<a name="232454069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454069">(Mar 30 2021 at 16:20)</a>:</h4>
<p>solving a solution for A shouldn't make it less good for B</p>



<a name="232454087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454087">(Mar 30 2021 at 16:20)</a>:</h4>
<p>this is exactly the same problem your suggestion has though: <code>struct.Foo.html</code> no longer works because only <code>-foo.html</code> exists</p>



<a name="232454109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454109">(Mar 30 2021 at 16:21)</a>:</h4>
<p>Guillaume, _any solution_ will have that problem. That problem is fundamental to the filesystem</p>



<a name="232454152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454152">(Mar 30 2021 at 16:21)</a>:</h4>
<p>no</p>



<a name="232454154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454154">(Mar 30 2021 at 16:21)</a>:</h4>
<p>your solution has that problem</p>



<a name="232454173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454173">(Mar 30 2021 at 16:21)</a>:</h4>
<p>changing the URL scheme prevents that</p>



<a name="232454183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454183">(Mar 30 2021 at 16:21)</a>:</h4>
<p>you can visit struct.-Foo.thml and struct.-foo.html</p>



<a name="232454202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454202">(Mar 30 2021 at 16:21)</a>:</h4>
<p>both work on windows, only one on linux (if you have Foo)</p>



<a name="232454221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454221">(Mar 30 2021 at 16:21)</a>:</h4>
<p>oh you mean to keep the current URLs? Well, I don't see how it could work</p>



<a name="232454245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454245">(Mar 30 2021 at 16:21)</a>:</h4>
<p>I don't know what you're trying to say</p>



<a name="232454319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454319">(Mar 30 2021 at 16:22)</a>:</h4>
<p>I still do not see how the UX for linux users is worse</p>



<a name="232454336"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454336" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454336">(Mar 30 2021 at 16:22)</a>:</h4>
<p>99% of docs will be unchanged</p>



<a name="232454355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454355">(Mar 30 2021 at 16:22)</a>:</h4>
<p>more than 99%</p>



<a name="232454399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454399">(Mar 30 2021 at 16:22)</a>:</h4>
<p><span class="user-mention silent" data-user-id="132040">Manish Goregaokar</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232454183">said</a>:</p>
<blockquote>
<p>you can visit struct.-Foo.thml and struct.-foo.html</p>
</blockquote>
<p>yes you can, but you wouldn't expect that for linux users to work</p>



<a name="232454433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454433">(Mar 30 2021 at 16:22)</a>:</h4>
<p>i don't understand what you're trying to say</p>



<a name="232454464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454464">(Mar 30 2021 at 16:23)</a>:</h4>
<p>the small percentage of docs that will be changed will break a _small_ number of URLs but still introduce a disambiguation page that we can generate such that most people find it</p>



<a name="232454470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454470">(Mar 30 2021 at 16:23)</a>:</h4>
<p>I'll try to pick an example.</p>



<a name="232454533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454533">(Mar 30 2021 at 16:23)</a>:</h4>
<p>It does seem like you're attempting to solve a different problem than the rest of us</p>



<a name="232454698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454698">(Mar 30 2021 at 16:24)</a>:</h4>
<p>Well, I think I can't convince you. It's mostly a loss of time.</p>



<a name="232454734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454734">(Mar 30 2021 at 16:25)</a>:</h4>
<p>I just suggest to keep the current situation then</p>



<a name="232454769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454769">(Mar 30 2021 at 16:25)</a>:</h4>
<p>No, I do feel that the problem should be fixed</p>



<a name="232454806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454806">(Mar 30 2021 at 16:25)</a>:</h4>
<p>I just think you have not communicated your stance clearly enough for us to understand your concerns</p>



<a name="232454857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454857">(Mar 30 2021 at 16:25)</a>:</h4>
<p>We don't agree on the solution. What you suggest isn't a solution, it's a hack and it brings downsides</p>



<a name="232454951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232454951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232454951">(Mar 30 2021 at 16:26)</a>:</h4>
<p>It'll require big changes on the intra-doc links to work too</p>



<a name="232455026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455026">(Mar 30 2021 at 16:26)</a>:</h4>
<p>I don't think we agree on the _problem_</p>



<a name="232455053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455053">(Mar 30 2021 at 16:26)</a>:</h4>
<p>and again, your URLs could if a change somewhere else in your code creates a name conflict</p>



<a name="232455113"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455113" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455113">(Mar 30 2021 at 16:27)</a>:</h4>
<p><span class="user-mention silent" data-user-id="132040">Manish Goregaokar</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232455026">said</a>:</p>
<blockquote>
<p>I don't think we agree on the _problem_</p>
</blockquote>
<p>Maybe?</p>



<a name="232455128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455128">(Mar 30 2021 at 16:27)</a>:</h4>
<p><span class="user-mention silent" data-user-id="210316">GuillaumeGomez</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232454951">said</a>:</p>
<blockquote>
<p>It'll require big changes on the intra-doc links to work too</p>
</blockquote>
<p>I've wanted to unify intra-doc links with the rest of rustdoc for a while anyway <a href="https://github.com/rust-lang/rust/pull/82014">https://github.com/rust-lang/rust/pull/82014</a></p>



<a name="232455148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455148">(Mar 30 2021 at 16:27)</a>:</h4>
<p>(deleted)</p>



<a name="232455179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455179">(Mar 30 2021 at 16:27)</a>:</h4>
<p><span class="user-mention silent" data-user-id="210316">GuillaumeGomez</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232455053">said</a>:</p>
<blockquote>
<p>and again, your URLs could if a change somewhere else in your code creates a name conflict</p>
</blockquote>
<p>Yes, I understand that downside, which is why we lint about it when you introduce a name conflict, and give you a path to avoid it</p>



<a name="232455284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455284">(Mar 30 2021 at 16:28)</a>:</h4>
<p>but then you ask for users to go around your tool limitation</p>



<a name="232455287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455287">(Mar 30 2021 at 16:28)</a>:</h4>
<p>The point is that it gives the user power over picking how to solve this, instead of picking a scheme that applies to _everyone_ and is something _everyone_ has to worry about</p>



<a name="232455303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455303">(Mar 30 2021 at 16:28)</a>:</h4>
<p>this is a terrible user experience</p>



<a name="232455421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455421">(Mar 30 2021 at 16:29)</a>:</h4>
<p>No, lints should be about good practices, not how to go around tool limitation</p>



<a name="232455431"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455431" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455431">(Mar 30 2021 at 16:29)</a>:</h4>
<p><span class="user-mention silent" data-user-id="210316">GuillaumeGomez</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232455284">said</a>:</p>
<blockquote>
<p>but then you ask for users to go around your tool limitation</p>
</blockquote>
<p>I think we disagree that this is a limitation of rustdoc and not the FS</p>



<a name="232455440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455440">(Mar 30 2021 at 16:29)</a>:</h4>
<p>Your solution does that too! Your solution asks users to work around the tool limitation by having to remember a weird link scheme!</p>
<p>This isn't a tool limitation! This is a limitation of the filesystem, and either rustdoc arbitrarily picks a workaround (your proposal) or we give the users _power_ to pick their own workaround</p>



<a name="232455468"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455468" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455468">(Mar 30 2021 at 16:29)</a>:</h4>
<p>Yes</p>



<a name="232455506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455506">(Mar 30 2021 at 16:29)</a>:</h4>
<p>I think this is a fundamental FS limitation. the -foo solution simply _picks_ a workaround and forces everyone into it</p>



<a name="232455511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455511">(Mar 30 2021 at 16:29)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232545">Joshua Nelson</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232455431">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="210316">GuillaumeGomez</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232455284">said</a>:</p>
<blockquote>
<p>but then you ask for users to go around your tool limitation</p>
</blockquote>
<p>I think we disagree that this is a limitation of rustdoc and not the FS</p>
</blockquote>
<p>This is definitely a limitation on rustdoc. We should have taken into account the FS limitation when the URL scheme was created</p>



<a name="232455596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455596">(Mar 30 2021 at 16:30)</a>:</h4>
<p>And that would have introduced a weird scheme that everyone would need to worry about</p>



<a name="232455624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455624">(Mar 30 2021 at 16:30)</a>:</h4>
<p>that's still forcing the users to deal with the limitation</p>



<a name="232455670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455670">(Mar 30 2021 at 16:30)</a>:</h4>
<p>there is nothing we could have done here that would not impact the users negatively in some way</p>



<a name="232455709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455709">(Mar 30 2021 at 16:30)</a>:</h4>
<p>But the docs could be browsed without problems. People can get accustomed to new URL schemes</p>



<a name="232455766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455766">(Mar 30 2021 at 16:31)</a>:</h4>
<p>it would work in any case, whatever the item</p>



<a name="232455803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455803">(Mar 30 2021 at 16:31)</a>:</h4>
<p><span class="user-mention silent" data-user-id="210316">GuillaumeGomez</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232455709">said</a>:</p>
<blockquote>
<p>But the docs could be browsed without problems. People can get accustomed to new URL schemes</p>
</blockquote>
<p>I don't see why this isn't true of the other scheme?</p>



<a name="232455813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455813">(Mar 30 2021 at 16:31)</a>:</h4>
<p>your solution doesn't allow that and instead, tells the user to fix <em>their code</em></p>



<a name="232455824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455824">(Mar 30 2021 at 16:31)</a>:</h4>
<p>Yeah, this is true of both schemes</p>



<a name="232455844"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455844" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455844">(Mar 30 2021 at 16:31)</a>:</h4>
<p>But what you suggest is incoherent</p>



<a name="232455855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455855">(Mar 30 2021 at 16:31)</a>:</h4>
<p>yes, but by applying a rustdoc attribute</p>



<a name="232455906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455906">(Mar 30 2021 at 16:32)</a>:</h4>
<p>they don't need to rename anything</p>



<a name="232455948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232455948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232455948">(Mar 30 2021 at 16:32)</a>:</h4>
<p>I think we're just circling around the same central point. I think there is no need for this discussion to go further :-/</p>



<a name="232456017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232456017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232456017">(Mar 30 2021 at 16:32)</a>:</h4>
<p>That's fair, but I do want to fix this problem, so I do think we need to discuss this eventually</p>



<a name="232456081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232456081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232456081">(Mar 30 2021 at 16:33)</a>:</h4>
<p>I need a break then</p>



<a name="232456096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232456096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232456096">(Mar 30 2021 at 16:33)</a>:</h4>
<p>go for it</p>



<a name="232456115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232456115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232456115">(Mar 30 2021 at 16:33)</a>:</h4>
<p>do you want to resume a bit later?</p>



<a name="232456128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232456128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232456128">(Mar 30 2021 at 16:33)</a>:</h4>
<p>sure whatever</p>



<a name="232456425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232456425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232456425">(Mar 30 2021 at 16:35)</a>:</h4>
<p>but i'll say this again: the "don't break all the URLs" is not just _my_ concern, and I'm assuming it as a hard blocker because I'm predicting that this RFC will be impossible to land since breakages are a product concern which means you'd need to convince core. I'm really not trying to be difficult here, or impose my personal opinion, I'm just predicting that any RFC that changes half the URLs out there will be a very very very hard sell.</p>



<a name="232456500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232456500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232456500">(Mar 30 2021 at 16:35)</a>:</h4>
<p>/me goes to delete <a href="https://github.com/rust-lang/rfcs/pull/2988">https://github.com/rust-lang/rfcs/pull/2988</a></p>



<a name="232456916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232456916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232456916">(Mar 30 2021 at 16:38)</a>:</h4>
<p>heh</p>



<a name="232456932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232456932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232456932">(Mar 30 2021 at 16:38)</a>:</h4>
<p><span class="user-mention" data-user-id="232545">@Joshua Nelson</span> I think we can manage that with redirects</p>



<a name="232471547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232471547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232471547">(Mar 30 2021 at 18:11)</a>:</h4>
<p>Ok, so after eating a bit, let me try to explain why I think your solution isn't good enough. First, let's start with the good parts:</p>
<ul>
<li>Very little change to URLs, only the conflicted files will be impacted (this is its huge advantage).</li>
<li>Doesn't require extra JS (even though we should add a redirection in addition to the links if JS is available!).</li>
</ul>
<p>Now, what I have issues with:</p>
<ul>
<li>It breaks something which is currently working on linux (<code>foo</code> and <code>FOO</code> are both perfectly valid URLs) to fix a problem on windows/macOS.</li>
<li>It creates inconsistency between different FS. For example, both <code>foo</code> and <code>Foo</code> work on windows/macOS but not anymore on linux (which is the opposite of what we currently have and what we try to fix). We can argue that what I propose is breaking all URLs, but at least it is predictable.</li>
<li>URLs can change because of a change in your code.</li>
<li>It requires actions from users for them to "fix" perfectly valid code. In my opinion, this is the biggest setback in your proposition. The code is valid, the problem here is the URL scheme which didn't take into account FS limitations. I think we can compare it to the <code>doc(cfg)</code> feature: this was really bad and we're now trying to make rustdoc generates cfg information based directly on the code and not on a <code>doc()</code> feature. This should be the same here.</li>
</ul>
<p>In comparison, what we suggested in the RFC, what is good:</p>
<ul>
<li>No more conflict on URLs ever.</li>
<li>The URL scheme is predictable and will work the same on all OSes (to be exact, what works on linux will work on windows and macOS).</li>
<li>No need to add any new lint to tell users that they require to update their code so that their documentation can work on windows and macOS.</li>
</ul>
<p>What's bad:</p>
<ul>
<li>All previous URLs will break (biggest downside).</li>
<li>Users might have trouble understanding how the URL scheme works (and on that end: we actually have no idea how many users actually edit the URL directly. So many this argument isn't that strong in the end...).</li>
<li>... If you see other downsides, please add them.</li>
</ul>
<p>In the end, it's to fix an issue on ~0.45% of the items on <a href="http://docs.rs">docs.rs</a>. So it's really small, but I don't want us to ask users to fix valid code because of URL scheme. Like I said, this is not a FS problem but a URL scheme problem. FS limitations were ignored when rustdoc URL scheme was created (almost a decade ago now!).</p>
<p>An issue you brought up was that it would require to add eventually add redirections. It'd be actually pretty simple to do I think considering that the URL scheme itself follows a very simple rule. So it could be added on <a href="http://docs.rs">docs.rs</a> and <a href="http://doc.rust-lang.org">doc.rust-lang.org</a>.</p>
<p>Also: with the 2021 edition coming up, can't we use this opportunity to introduce such a change?</p>
<p>And finally (this is isn't an argument in itself, more like a sidenote: the new URL scheme the RFC suggests would require almost no change in rustdoc whereas what you suggest has a lot of implications and things to take into account).</p>
<p>That's it for the big explanation of my point of view. I tried to make it as clear as possible (I'm really bad at explaining what I have in mind and I'm sorry about that) and as objective as possible too.</p>



<a name="232475482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232475482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232475482">(Mar 30 2021 at 18:38)</a>:</h4>
<blockquote>
<p>It breaks something which is currently working on linux (foo and FOO are both perfectly valid URLs) to fix a problem on windows/macOS.</p>
</blockquote>
<p>FWIW, I think we could do server-side magic on <a href="http://doc.rust-lang.org">doc.rust-lang.org</a> and <a href="http://docs.rs">docs.rs</a> to redirect to the lower-case version if the original URL isn't found. That doesn't work for local docs, but this only matters if someone was using a perma-link anyway.</p>



<a name="232476748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232476748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232476748">(Mar 30 2021 at 18:46)</a>:</h4>
<p>I just thought about something that your proposition doesn't fix <span class="user-mention" data-user-id="132040">@Manish Goregaokar</span> : conflict on modules</p>



<a name="232476867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232476867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232476867">(Mar 30 2021 at 18:47)</a>:</h4>
<p>For example:</p>
<div class="codehilite"><pre><span></span><code>pub mod aa {
    pub fn foo() {}
}

pub mod aA {
    pub fn foo() {}
}
</code></pre></div>



<a name="232476913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232476913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232476913">(Mar 30 2021 at 18:47)</a>:</h4>
<p>(and with sub-levels, it's even "worse")</p>



<a name="232482830"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232482830" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232482830">(Mar 30 2021 at 19:24)</a>:</h4>
<blockquote>
<p>It breaks something which is currently working on linux (foo and FOO are both perfectly valid URLs) to fix a problem on windows/macOS.</p>
</blockquote>
<p>Yours breaks something that is currently working _everywhere_ (code that does not clash on casing) to fix a problem for 0.45% of the crates. I don't see how mine is _worse_ on this angle. I'm trying to scope the breakage to crates that already have problems due to this.</p>
<blockquote>
<p>It creates inconsistency between different FS. For example, both foo and Foo work on windows/macOS but not anymore on linux (which is the opposite of what we currently have and what we try to fix). We can argue that what I propose is breaking all URLs, but at least it is predictable.</p>
</blockquote>
<p>Okay, but this is _always_ the case: in your solution, <code>-foo</code> and <code>-Foo</code> will work on windows/mac but not linux. This is a fundamental problem of filesystem differences, which is what Joshua and I are trying to argue. It is not worth trying to fix "some paths  work on some systems but not others" because that is a fundamental problem . The problem I and Joshua are trying to solve is "doc generation on an insensitive FS leads to docs not existing"</p>
<p>I don't see how my solution is not predictable. If there is ambiguity, there will _always_ be a <code>struct.Foo.html</code> (or <code>fn.foo.html</code>) file, with a list of all the other entries. That's predictable enough IMO.</p>
<blockquote>
<p>URLs can change because of a change in your code.</p>
</blockquote>
<p>Yes, but we lint about this, so if you change your code you will see the lint and can choose your solution.</p>
<blockquote>
<p>Also: with the 2021 edition coming up, can't we use this opportunity to introduce such a change?</p>
</blockquote>
<p>No, because editions are for surface-level changes that can be upgraded over. rustdoc's output is a bunch of URLs, changing those URLs is not easy to upgrade over at all.</p>
<p>Also it is basically too late to add _new_ things to the edition.</p>
<blockquote>
<p>It requires actions from users for them to "fix" perfectly valid code.</p>
</blockquote>
<p>My point is that yours does too -- in your solution _everyone_ has to deal with this bug because of the new, hard-to-remember URL scheme, and furthermore URL completion and links are broken which is _huge_.</p>



<a name="232482987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232482987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232482987">(Mar 30 2021 at 19:26)</a>:</h4>
<p><span class="user-mention" data-user-id="210316">@GuillaumeGomez</span> I think this will break links to modules, but again, on some OSes these weren't being generated correctly in the first place, and your solution breaks all links.</p>
<p>In my solution the sensible way of handling this is that we generate aa-1 and aa-2 and have aa/index.html just be a disambiguation page</p>



<a name="232483055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232483055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232483055">(Mar 30 2021 at 19:26)</a>:</h4>
<p><span class="user-mention" data-user-id="210316">@GuillaumeGomez</span> taking a step back: what problem are you trying to solve</p>



<a name="232483294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232483294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232483294">(Mar 30 2021 at 19:27)</a>:</h4>
<p>because here's a statement of the problem I am trying to solve:<br>
rustdoc currently generates overlapping files on windows and mac. I want us to not do that.</p>
<p>I don't particularly care that filepath URLs on windows and mac allow you to access structs via different names whereas linux doesn't. this is a fundamental constraint of the filesystem, and it's not a huge deal because nobody is ever linking to filepaths (they're local)</p>



<a name="232483397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232483397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232483397">(Mar 30 2021 at 19:28)</a>:</h4>
<p>(deleted)</p>



<a name="232483551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232483551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232483551">(Mar 30 2021 at 19:29)</a>:</h4>
<p>I am very sympathetic to "URLs can change when you change your code" fwiw, I just think a lint should be sufficient to warn people it will happen and allow them to pick something to upgrade</p>



<a name="232483799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232483799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232483799">(Mar 30 2021 at 19:31)</a>:</h4>
<p>I do not at all agree that framing that we are "forcing users to fix their perfectly valid code". This is a fundamental problem, either _we_ fix it for the users by arbitrarily picking a scheme that will make a lot of users annoyed, or we give the users choice. I feel like the user choice angle is far easier; and we can make it pleasant by _still_ picking a scheme (the numbering scheme) that generates something that kinda-sorta works but has problems, and letting users sort it out however they want</p>



<a name="232483900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232483900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232483900">(Mar 30 2021 at 19:31)</a>:</h4>
<p>Also another downside you forgot to list -- url autocompletion is broken; and lots of people browse based on url autocompletion from history</p>



<a name="232483954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232483954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232483954">(Mar 30 2021 at 19:32)</a>:</h4>
<p>that's the problem with creating our own normalization scheme</p>



<a name="232484064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232484064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232484064">(Mar 30 2021 at 19:32)</a>:</h4>
<p>I still do not understand what the issue is on this axis though:</p>
<blockquote>
<p>It creates inconsistency between different FS. For example, both foo and Foo work on windows/macOS but not anymore on linux (which is the opposite of what we currently have and what we try to fix). We can argue that what I propose is breaking all URLs, but at least it is predictable.</p>
</blockquote>
<p>as i said this seems to always be an issue.</p>



<a name="232484144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232484144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232484144">(Mar 30 2021 at 19:33)</a>:</h4>
<p>and it feels like in your casting of the problem statement you're trying to solve some problem here too</p>



<a name="232484186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232484186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232484186">(Mar 30 2021 at 19:33)</a>:</h4>
<p>note that URLs on the web are always insensitive no matter what OS you visit from</p>



<a name="232487820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232487820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232487820">(Mar 30 2021 at 19:59)</a>:</h4>
<p><span class="user-mention silent" data-user-id="132040">Manish Goregaokar</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232484186">said</a>:</p>
<blockquote>
<p>note that URLs on the web are always insensitive no matter what OS you visit from</p>
</blockquote>
<p>My understanding was that URLs <em>can</em> be case-sensitive if the server chooses that...?</p>



<a name="232487829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232487829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nemo157 <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232487829">(Mar 30 2021 at 19:59)</a>:</h4>
<p><span class="user-mention silent" data-user-id="132040">Manish Goregaokar</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232448732">said</a>:</p>
<blockquote>
<ul>
<li>Generate struct.Foo.html (in Titlecase because it is a struct).</li>
</ul>
</blockquote>
<p>Given source with <code>struct foobar; struct FOOBAR;</code> how would we know whether these are the single word "foobar" or conjoined words "foo bar" in order to decide this file is <code>struct.Foobar.html</code> or <code>struct.FooBar.html</code>? There are many instances of conflicting names in <code>-sys</code> crates that are not following any kind of easily machine discernable convention for word separation.</p>



<a name="232487945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232487945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nemo157 <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232487945">(Mar 30 2021 at 20:00)</a>:</h4>
<p>and yes, URLs are up to the server, <a href="http://docs.rs">docs.rs</a> is case sensitive, e.g. &lt;<a href="https://docs.rs/brotli/2.4.0/brotli/enc/static_dict/fn.SlowFindMatchLengthWithLimit.html">https://docs.rs/brotli/2.4.0/brotli/enc/static_dict/fn.SlowFindMatchLengthWithLimit.html</a>&gt; vs &lt;<a href="https://docs.rs/brotli/2.4.0/brotli/enc/static_dict/fn.slowFindMatchLengthWithLimit.html">https://docs.rs/brotli/2.4.0/brotli/enc/static_dict/fn.slowFindMatchLengthWithLimit.html</a>&gt;</p>



<a name="232487976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232487976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232487976">(Mar 30 2021 at 20:00)</a>:</h4>
<p>This whole issue and discussion makes me think how much time and energy across all different projects could have been saved if OS designers had decided to use a case-sensitive filesystem <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>



<a name="232488473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232488473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nemo157 <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232488473">(Mar 30 2021 at 20:03)</a>:</h4>
<p>(though maybe web browsers implement <code>file:</code> handling case-insensitively? I can't check on a machine running both a graphical browser and case-sensitive FS right now)</p>



<a name="232489292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232489292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232489292">(Mar 30 2021 at 20:08)</a>:</h4>
<p><span class="user-mention silent" data-user-id="210267">Nemo157</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232487829">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="132040">Manish Goregaokar</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232448732">said</a>:</p>
<blockquote>
<ul>
<li>Generate struct.Foo.html (in Titlecase because it is a struct).</li>
</ul>
</blockquote>
<p>Given source with <code>struct foobar; struct FOOBAR;</code> how would we know whether these are the single word "foobar" or conjoined words "foo bar" in order to decide this file is <code>struct.Foobar.html</code> or <code>struct.FooBar.html</code>? There are many instances of conflicting names in <code>-sys</code> crates that are not following any kind of easily machine discernable convention for word separation.</p>
</blockquote>
<p>yeah I would rather just make disambiguation pages unconditionally lowercase</p>



<a name="232493072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232493072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232493072">(Mar 30 2021 at 20:32)</a>:</h4>
<p><span class="user-mention" data-user-id="210267">@Nemo157</span> yeah so I thought we could Titlecase it (not CamelCase); but we can also just lowercase it -- I brought this up elsewhere</p>



<a name="232493093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232493093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232493093">(Mar 30 2021 at 20:32)</a>:</h4>
<p>I think we just need to pick something consistent there</p>



<a name="232493123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232493123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232493123">(Mar 30 2021 at 20:32)</a>:</h4>
<p>so struct.foobar.html being the disambig page works for me</p>



<a name="232493201"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232493201" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232493201">(Mar 30 2021 at 20:32)</a>:</h4>
<p><span class="user-mention" data-user-id="210267">@Nemo157</span> and yeah URLs are up to the server, but _HTTP_ is case sensitive, as is <a href="http://docs.rs">docs.rs</a></p>



<a name="232494054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232494054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232494054">(Mar 30 2021 at 20:38)</a>:</h4>
<blockquote>
<p>Okay, but this is _always_ the case: in your solution, -foo and -Foo will work on windows/mac but not linux. This is a fundamental problem of filesystem differences, which is what Joshua and I are trying to argue. It is not worth trying to fix "some paths work on some systems but not others" because that is a fundamental problem . The problem I and Joshua are trying to solve is "doc generation on an insensitive FS leads to docs not existing"</p>
</blockquote>
<p>With what I suggest, there is no <code>-Foo</code>, only <code>-foo</code> for "Foo' or <code>foo</code> for "foo". The point here is that "valid" URLs work on linux because they should. The extravagant "-Foo" or even "-FoO" on windows and macOS isn't our problem. They're not supposed to work in the first place. If the OS allows it, well, fine for them.</p>



<a name="232494221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232494221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232494221">(Mar 30 2021 at 20:39)</a>:</h4>
<p>Didn't understand why you talked about "links to filepath"</p>



<a name="232494366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232494366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232494366">(Mar 30 2021 at 20:40)</a>:</h4>
<p>Also, I showed you an example that shows that what I suggested fixes it definitely (modules) and yours doesn't but that doesn't count at all in the end? :-/</p>



<a name="232494540"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232494540" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232494540">(Mar 30 2021 at 20:42)</a>:</h4>
<blockquote>
<p>I do not at all agree that framing that we are "forcing users to fix their perfectly valid code". This is a fundamental problem, either _we_ fix it for the users by arbitrarily picking a scheme that will make a lot of users annoyed, or we give the users choice. I feel like the user choice angle is far easier; and we can make it pleasant by _still_ picking a scheme (the numbering scheme) that generates something that kinda-sorta works but has problems, and letting users sort it out however they want</p>
</blockquote>
<p>There will always be people not happy about any change. The longer we wait (we already waited way too long), the more there will be. And no, requiring changes from the user is definitely not a good way to handle it.</p>



<a name="232494699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232494699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232494699">(Mar 30 2021 at 20:43)</a>:</h4>
<blockquote>
<p>Also another downside you forgot to list -- url autocompletion is broken; and lots of people browse based on url autocompletion from history</p>
</blockquote>
<p>It's part of the URL breaking change, not forgotten. :)</p>



<a name="232495321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232495321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232495321">(Mar 30 2021 at 20:47)</a>:</h4>
<blockquote>
<p>I do not at all agree that framing that we are "forcing users to fix their perfectly valid code". This is a fundamental problem, either _we_ fix it for the users by arbitrarily picking a scheme that will make a lot of users annoyed, or we give the users choice. I feel like the user choice angle is far easier; and we can make it pleasant by _still_ picking a scheme (the numbering scheme) that generates something that kinda-sorta works but has problems, and letting users sort it out however they want</p>
</blockquote>
<p>We don't agree on the fundamental problem. I think it's that the rustdoc URL scheme didn't take into account the case insensitivity of some OS. I propose a new URL scheme to fix this issue definitely, you propose a workaround. It's two very different approach. And your workaround doesn't fix the module issue I talked about above. And saying "it's already broken so we can keep it as is" is definitely not a good argument.</p>



<a name="232495640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232495640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232495640">(Mar 30 2021 at 20:49)</a>:</h4>
<blockquote>
<p>I still do not understand what the issue is on this axis though:</p>
<blockquote>
<p>It creates inconsistency between different FS. For example, both foo and Foo work on windows/macOS but not anymore on linux (which is the opposite of what we currently have and what we try to fix). We can argue that what I propose is breaking all URLs, but at least it is predictable.</p>
</blockquote>
<p>as i said this seems to always be an issue.</p>
</blockquote>
<p>Extra explanations! What is working on linux should work on windows and macOS. However, the inverse isn't true: the case insensitive FS allow "invalid" URL. But in this case, it's also a valid URL since both <code>Foo</code> and <code>foo</code> exist. So now, an URL that should be valid on linux (and is valid on windows/macOS) isn't anymore.</p>



<a name="232500570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232500570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232500570">(Mar 30 2021 at 21:24)</a>:</h4>
<blockquote>
<p>Didn't understand why you talked about "links to filepath"</p>
</blockquote>
<p>By and large, stability of filesystem links only matter if you're hosting the files _locally_ and using file:/// URIs. When it comes to _link_ stability, because basically all webhosting is Linux and because HTTP is case sensitive, we can mostly assume that nobody is _linking to_ Mac/Windows-hosted URLs so breaking those links is not a huge deal. Breaking the linux links is, but both of our proposals do a little breakage.</p>
<blockquote>
<p>Also, I showed you an example that shows that what I suggested fixes it definitely (modules) and yours doesn't but that doesn't count at all in the end? :-/</p>
</blockquote>
<p>I do address modules. It's a valid complaint, it counts, but I feel like the solution is sufficient since we encourage people to doc(filename) _anyway_.</p>
<p>My way of addressing modules is, as I already stated: we apply the same thing: generate <code>aa-1/</code> and <code>AA-2/</code> and lint about it, and also generate <code>aa/index.html</code> as a disambiguation page. Yes, some links will break, but your proposal breaks _all_ links.</p>
<blockquote>
<p>There will always be people not happy about any change. </p>
</blockquote>
<p>I think _most_ people will be unhappy about this, I think half the core team will be unhappy about this, but my point isn't about people being unhappy. My point is that suddenly the _entire ecosystem_ needs to care about this. As opposed to mine where a small subset needs to care.</p>
<p>Both of our proposals force people to change things. Yours forces everyone to change how they interact with rustdoc. Mine forces a small subset to do a code change (and provides an okayish default if they don't). Just because mine has a code change doesn't mean that makes it somehow worse.</p>
<blockquote>
<p>It's part of the URL breaking change, not forgotten. :)</p>
</blockquote>
<p>No, it's distinct, I mean that even if you do not have legacy URLs in your history, things like <code>struct.Foo</code> won't autocomplete that well because it will be struct.-foo in the history.</p>
<blockquote>
<p>. I propose a new URL scheme to fix this issue definitely, you propose a workaround. It's two very different approach</p>
</blockquote>
<p>Okay, look. Yours is as workaround-y as mine, it literally introduces a _new name mangling scheme_. You keep trying to bucket the proposals this way, it's not constructive, please stop.</p>
<blockquote>
<p>Extra explanations! What is working on linux should work on windows and macOS. However, the inverse isn't true: the case insensitive FS allow "invalid" URL. But in this case, it's also a valid URL since both Foo and foo exist. So now, an URL that should be valid on linux (and is valid on windows/macOS) isn't anymore.</p>
</blockquote>
<p>So what you're saying is that previously on Linux <code>struct.foo.html</code> and <code>struct.Foo.html</code> would work, and on Mac both would work but point to the same thing, and with my proposal one of them is broken on linux, yes?</p>
<p>I mean, sure? But your proposal breaks all the links? I still do not see how this complaint is specific to my proposal.</p>



<a name="232501088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232501088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232501088">(Mar 30 2021 at 21:29)</a>:</h4>
<p>FWIW, someone else I asked about this said the following thing:</p>
<blockquote>
<p>urls are the primary interface of rustdoc's output! this is like if symbol mangling were exposed to source code</p>
</blockquote>
<p>"URLs are the primary interface of rustdoc" is a super insightful idea.</p>



<a name="232503107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232503107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232503107">(Mar 30 2021 at 21:47)</a>:</h4>
<blockquote>
<p>I think it's that the rustdoc URL scheme didn't take into account the case insensitivity of some OS.</p>
</blockquote>
<p>Stepping back further, _why_? What problems are you trying to solve here? I'm attempting to solve "rustdoc generates overlapping files on some OSes"</p>



<a name="232503214"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232503214" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232503214">(Mar 30 2021 at 21:48)</a>:</h4>
<p>It does feel a bit like we're going in circles on this though, does anyone else on the team want to chime in? It's quite possible we're talking past each other and other opinions would be helpful.</p>



<a name="232504286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504286">(Mar 30 2021 at 21:58)</a>:</h4>
<p>Just wondering: <span class="user-mention" data-user-id="132040">@Manish Goregaokar</span> would it be fine if we added tihs disambiguation only on windows/macOS?</p>



<a name="232504392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504392">(Mar 30 2021 at 21:59)</a>:</h4>
<p>Problem with that is we need an option to force it on linux for the documentation provided to windows and macOS. Or... We generate for those platforms using the option so that they have fixed URLs and we're fine. All the best: nothing changes on linux, no need to change the URL scheme</p>



<a name="232504400"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504400" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504400">(Mar 30 2021 at 21:59)</a>:</h4>
<p>What do you think?</p>



<a name="232504493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504493">(Mar 30 2021 at 22:00)</a>:</h4>
<p>Hmmmmm. It would not break _web_ URLs so I think that would definitely be less problematic. I would like the URLs to be the same on <a href="http://docs.rs">docs.rs</a> and locally though.</p>
<p>I am not _strongly_ against such a proposal; but I am somewhat against it.</p>
<p>Note that for Windows we can actually set the output directories to be case insensitive: <a href="https://stackoverflow.com/questions/51591091/apply-setcasesensitiveinfo-recursively-to-all-folders-and-subfolders">https://stackoverflow.com/questions/51591091/apply-setcasesensitiveinfo-recursively-to-all-folders-and-subfolders</a></p>



<a name="232504601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504601">(Mar 30 2021 at 22:00)</a>:</h4>
<p>The URLs would be the same so to speak. We'd just have a disambiguator on windows/macOS specifically</p>



<a name="232504659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504659">(Mar 30 2021 at 22:01)</a>:</h4>
<p>My PR is actually doing most of it already (the original one where everything came from)</p>



<a name="232504697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504697">(Mar 30 2021 at 22:01)</a>:</h4>
<p>It detect if this is a case insensitive FS, if so it generates a conflict map and goes with generation</p>



<a name="232504766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504766">(Mar 30 2021 at 22:02)</a>:</h4>
<p>The only issue was that I wasn't satisfied on the result for linux. But in this case, it'd be fine.</p>



<a name="232504798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504798">(Mar 30 2021 at 22:02)</a>:</h4>
<blockquote>
<p>The URLs would be the same so to speak. We'd just have a disambiguator on windows/macOS specifically</p>
</blockquote>
<p>Oh, so like my proposal, but only on Linux?</p>



<a name="232504803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504803">(Mar 30 2021 at 22:02)</a>:</h4>
<p>I just need to rework the output so that we use <code>meta refresh</code> instead</p>



<a name="232504834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504834">(Mar 30 2021 at 22:02)</a>:</h4>
<p>"conflcit map"?</p>



<a name="232504856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504856">(Mar 30 2021 at 22:03)</a>:</h4>
<p>i feel like you're suggesting the proposal i was suggesting :)</p>



<a name="232504859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504859">(Mar 30 2021 at 22:03)</a>:</h4>
<p><span class="user-mention silent" data-user-id="132040">Manish Goregaokar</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232504798">said</a>:</p>
<blockquote>
<blockquote>
<p>The URLs would be the same so to speak. We'd just have a disambiguator on windows/macOS specifically</p>
</blockquote>
<p>Oh, so like my proposal, but only on Linux?</p>
</blockquote>
<p>No, on linux we keep the current output. The disambiguator would be on windows/macOS to prevent file conflicts :)</p>



<a name="232504880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504880">(Mar 30 2021 at 22:03)</a>:</h4>
<p><span class="user-mention silent" data-user-id="132040">Manish Goregaokar</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232504834">said</a>:</p>
<blockquote>
<p>"conflcit map"?</p>
</blockquote>
<p>this was part of one of the PRs, let me find it</p>



<a name="232504903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504903">(Mar 30 2021 at 22:03)</a>:</h4>
<p>er, soryr, "only on Windows"</p>



<a name="232504916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504916">(Mar 30 2021 at 22:03)</a>:</h4>
<p>windows/mac</p>



<a name="232504946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504946">(Mar 30 2021 at 22:03)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/pull/83612">https://github.com/rust-lang/rust/pull/83612</a></p>



<a name="232504950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504950">(Mar 30 2021 at 22:03)</a>:</h4>
<p><span class="user-mention" data-user-id="210316">@GuillaumeGomez</span> Can you type out what your suggestion is?</p>



<a name="232504972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232504972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232504972">(Mar 30 2021 at 22:03)</a>:</h4>
<p>Most of this PR is doing what you suggested.</p>



<a name="232505030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505030">(Mar 30 2021 at 22:04)</a>:</h4>
<p>ah, but only on windows/mac</p>



<a name="232505038"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505038" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505038">(Mar 30 2021 at 22:04)</a>:</h4>
<p>this totally works for me</p>



<a name="232505054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505054">(Mar 30 2021 at 22:04)</a>:</h4>
<p>We did it \o/</p>



<a name="232505057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505057">(Mar 30 2021 at 22:04)</a>:</h4>
<p>let's not use JS, just generate a disambiguation page</p>



<a name="232505070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505070">(Mar 30 2021 at 22:04)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232545">Joshua Nelson</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232504880">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="132040">Manish Goregaokar</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232504834">said</a>:</p>
<blockquote>
<p>"conflcit map"?</p>
</blockquote>
<p>this was part of one of the PRs, let me find it</p>
</blockquote>
<p><a href="https://github.com/rust-lang/rust/pull/83612/files#diff-46f011cf734f3de35eddca150990366cc41bd8eaf3945a241b2a2f79c5bb77eaR89">https://github.com/rust-lang/rust/pull/83612/files#diff-46f011cf734f3de35eddca150990366cc41bd8eaf3945a241b2a2f79c5bb77eaR89</a></p>



<a name="232505079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505079">(Mar 30 2021 at 22:04)</a>:</h4>
<p>Yes, that's the part I need to update, the PR is still incomplete</p>



<a name="232505088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505088">(Mar 30 2021 at 22:04)</a>:</h4>
<p><span class="user-mention" data-user-id="210316">@GuillaumeGomez</span> so to be clear you're just suggesting "manish's proposal, but only applied to windows and mac" right?</p>



<a name="232505139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505139">(Mar 30 2021 at 22:05)</a>:</h4>
<p>Yes, or enforced with <code>--generate-case-insensitive</code> in case you generate it on linux for windows/macOS</p>



<a name="232505145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505145">(Mar 30 2021 at 22:05)</a>:</h4>
<p>so no change on linux, and on win/mac, _only if you have conflicts_, your files get named foo-1 and foo-2 (or whatever, i don't care) and foo.html says "HEY THERE ARE TWO FILES do you want THIS ONE or THIS ONE"</p>



<a name="232505146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505146">(Mar 30 2021 at 22:05)</a>:</h4>
<p><span class="user-mention silent" data-user-id="210316">GuillaumeGomez</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232504859">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="132040">Manish Goregaokar</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232504798">said</a>:</p>
<blockquote>
<blockquote>
<p>The URLs would be the same so to speak. We'd just have a disambiguator on windows/macOS specifically</p>
</blockquote>
<p>Oh, so like my proposal, but only on Linux?</p>
</blockquote>
<p>No, on linux we keep the current output. The disambiguator would be on windows/macOS to prevent file conflicts :)</p>
</blockquote>
<p>hmm, I'm pretty sure <span class="user-mention" data-user-id="223910">@Daniel Silverstone</span> asked we <em>not</em> do this so that you can install any target's docs on any platform</p>



<a name="232505147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505147">(Mar 30 2021 at 22:05)</a>:</h4>
<p>neat</p>



<a name="232505184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505184">(Mar 30 2021 at 22:05)</a>:</h4>
<p><span class="user-mention" data-user-id="210316">@GuillaumeGomez</span> can we still have the lint, though?</p>



<a name="232505186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505186">(Mar 30 2021 at 22:05)</a>:</h4>
<p>I guess that only really matters for the standard library though?</p>



<a name="232505192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505192">(Mar 30 2021 at 22:05)</a>:</h4>
<p>yes'</p>



<a name="232505273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505273">(Mar 30 2021 at 22:06)</a>:</h4>
<p><span class="user-mention silent" data-user-id="132040">Manish Goregaokar</span> <a href="#narrow/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097/near/232505184">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="210316">GuillaumeGomez</span> can we still have the lint, though?</p>
</blockquote>
<p>Euh... It's midnight, please debate about this tomorrow.</p>



<a name="232505275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505275">(Mar 30 2021 at 22:06)</a>:</h4>
<p><span class="user-mention" data-user-id="210316">@GuillaumeGomez</span> i think overall it would be nice if people had a way to avoid this happening, and having a lint seems straightforward</p>



<a name="232505288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505288">(Mar 30 2021 at 22:06)</a>:</h4>
<p><span class="user-mention" data-user-id="210316">@GuillaumeGomez</span> can i take that to mean you disagree?</p>



<a name="232505322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505322">(Mar 30 2021 at 22:06)</a>:</h4>
<p>feels like the lint is just added niceness there</p>



<a name="232505341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505341">(Mar 30 2021 at 22:06)</a>:</h4>
<p>I don't like the idea. But just like we did, I'd like us to agree on what we would make this lint about if it would exist.</p>



<a name="232505381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505381">(Mar 30 2021 at 22:07)</a>:</h4>
<p>With discussion, we can always reach compromise</p>



<a name="232505385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505385">(Mar 30 2021 at 22:07)</a>:</h4>
<p>yeah</p>



<a name="232505422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505422">(Mar 30 2021 at 22:07)</a>:</h4>
<p>i mean this doesn't seem much of a compromise as much as "you picked the solution i was proposing in the first place"</p>



<a name="232505427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505427">(Mar 30 2021 at 22:07)</a>:</h4>
<p>:)</p>



<a name="232505433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505433">(Mar 30 2021 at 22:07)</a>:</h4>
<p><span class="user-mention" data-user-id="232545">@Joshua Nelson</span> That's why I provided the <code>--generate-case-insensitive</code> option</p>



<a name="232505494"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505494" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505494">(Mar 30 2021 at 22:08)</a>:</h4>
<p>Well, it was my initial PR which started this whole debate :p</p>



<a name="232505529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505529">(Mar 30 2021 at 22:08)</a>:</h4>
<p>heh</p>



<a name="232505575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505575">(Mar 30 2021 at 22:08)</a>:</h4>
<p>anyway, how about I write a hackmd with my proposal, we can collaboratively turn it into an RFC, and see what folks think. With this framing the lint is not a 100% necessary part of it, but i think it would be nice</p>



<a name="232505577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505577">(Mar 30 2021 at 22:08)</a>:</h4>
<p>But at least we got the same idea. Your proposal for the disambiguator is much better than what I came up with though</p>



<a name="232505626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505626">(Mar 30 2021 at 22:08)</a>:</h4>
<p>There is a need for RFC here? There is no URL change normally</p>



<a name="232505644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505644">(Mar 30 2021 at 22:09)</a>:</h4>
<p>Oh, maybe that's something we might not agree on XD</p>



<a name="232505667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505667">(Mar 30 2021 at 22:09)</a>:</h4>
<p>In my case, I planned as follow:</p>



<a name="232505686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505686">(Mar 30 2021 at 22:09)</a>:</h4>
<p>Oh yeah we don't have to have an rfc, only if we want the lint</p>



<a name="232505692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505692">(Mar 30 2021 at 22:09)</a>:</h4>
<p>I think this is good to rfc though</p>



<a name="232505696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505696">(Mar 30 2021 at 22:09)</a>:</h4>
<p>the disambiguator file, if it has JS enabled, will then make a redirection to get the correct file</p>



<a name="232505804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505804">(Mar 30 2021 at 22:10)</a>:</h4>
<p>Otherwise, it'll just display the file</p>



<a name="232505813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505813">(Mar 30 2021 at 22:10)</a>:</h4>
<p>not _sure_ if i like the autoredirect as opposed to people knowing there was a disambiguation. but not a major issue</p>



<a name="232505855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505855">(Mar 30 2021 at 22:10)</a>:</h4>
<p>i think writing the proposal in rfc format will help us as a team come to a conclusion, anyway</p>



<a name="232505863"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505863" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505863">(Mar 30 2021 at 22:10)</a>:</h4>
<p>Ah right, but then we fall back to the original issue on linux which made us fall into this whole thing</p>



<a name="232505903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505903">(Mar 30 2021 at 22:11)</a>:</h4>
<p>Because if conflict there is, on linux it'll be problematic since Foo and foo are different</p>



<a name="232505952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232505952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232505952">(Mar 30 2021 at 22:11)</a>:</h4>
<p>you'll get a 404 if you try to access Foo, so we need to generate the correct links for it directly</p>



<a name="232506003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506003">(Mar 30 2021 at 22:12)</a>:</h4>
<p>as in?</p>



<a name="232506024"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506024" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506024">(Mar 30 2021 at 22:12)</a>:</h4>
<p>I think we should stop going in circles</p>



<a name="232506041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506041">(Mar 30 2021 at 22:12)</a>:</h4>
<p>we're not :)</p>



<a name="232506049"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506049" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506049">(Mar 30 2021 at 22:12)</a>:</h4>
<p>well, we can already implement that and not care about this issue for now</p>



<a name="232506065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506065">(Mar 30 2021 at 22:12)</a>:</h4>
<p>i think we've come to a reasonable conclusion and are working out the details</p>



<a name="232506067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506067">(Mar 30 2021 at 22:12)</a>:</h4>
<p>well, it's where it all started XD</p>



<a name="232506104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506104">(Mar 30 2021 at 22:13)</a>:</h4>
<p>it's because the disamguator URL was working in all cases for windows/mac but not for linux that we suggested to change all URLs</p>



<a name="232506123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506123">(Mar 30 2021 at 22:13)</a>:</h4>
<p>It sounds like there are a couple different proposals with different trade offs. I think we should write down what they are</p>



<a name="232506133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506133">(Mar 30 2021 at 22:13)</a>:</h4>
<p><span class="user-mention" data-user-id="232545">@Joshua Nelson</span> there aren't anymore</p>



<a name="232506140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506140">(Mar 30 2021 at 22:13)</a>:</h4>
<p>I'm not planning to read through hundreds of messages of backscroll</p>



<a name="232506179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506179">(Mar 30 2021 at 22:14)</a>:</h4>
<p>yeah i'm writing it down</p>



<a name="232506188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506188">(Mar 30 2021 at 22:14)</a>:</h4>
<p>Thanks Manish</p>



<a name="232506199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506199">(Mar 30 2021 at 22:14)</a>:</h4>
<p>there's one proposal with a couple knobs to tweak</p>



<a name="232506216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506216">(Mar 30 2021 at 22:14)</a>:</h4>
<p>i will write it down and call out the knobs</p>



<a name="232506220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506220">(Mar 30 2021 at 22:14)</a>:</h4>
<p>Phew, I'm gonna fall into coma until tomorrow morning now I think</p>



<a name="232506312"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506312" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506312">(Mar 30 2021 at 22:15)</a>:</h4>
<p><span class="user-mention" data-user-id="232545">@Joshua Nelson</span> the status quo is basically: the thing i proposed, but _only_ on windows/mac (or if you pass the --generate-whatever flag). knobs that have not yet been decided: should we lint? should the disambiguation page read the URL to autoredirect?</p>



<a name="232506355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506355">(Mar 30 2021 at 22:15)</a>:</h4>
<p>also knob: the exact disambiguation scheme to use (which i do not care about)</p>



<a name="232506362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506362">(Mar 30 2021 at 22:15)</a>:</h4>
<p>Yep, that's a good sum up</p>



<a name="232506406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506406">(Mar 30 2021 at 22:15)</a>:</h4>
<p>In my PR I simply change the current file with the one I have in my JS map</p>



<a name="232506493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506493">(Mar 30 2021 at 22:16)</a>:</h4>
<p>But it's implementation detail, not really important at the moment</p>



<a name="232506964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232506964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232506964">(Mar 30 2021 at 22:21)</a>:</h4>
<p><span class="user-mention" data-user-id="210316">@GuillaumeGomez</span> when you get a chance you should close your rfc so folks don't keep discussing it</p>



<a name="232508910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/case%20insensitive%20RFC%20rust-lang/rfcs%233097/near/232508910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Manish Goregaokar <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/case.20insensitive.20RFC.20rust-lang.2Frfcs.233097.html#232508910">(Mar 30 2021 at 22:41)</a>:</h4>
<p>I think another mismatch is: I do not expect rustdoc to ever link to the disambiguation page, it will only ever be visited from the URL</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>